Fsw 2023: C2Po Translates For R2U2 Making Specification More Practical